Towards Safe and Secure Organic Computing Applications
نویسندگان
چکیده
In this paper we present our ongoing work on “Organic Computing”. We present an illustrative case study from program automation that uses OC-paradigms to be failure tolerant and to produce effectively. We present a way to build and verify a formal model of a self-adaptive system. We also give further ideas for formal modeling and our ideas of safety analysis of such systems. Another topic is how to build descriptive models and devising development processes for them.
منابع مشابه
A Mobile and Fog-based Computing Method to Execute Smart Device Applications in a Secure Environment
With the rapid growth of smart device and Internet of things applications, the volume of communication and data in networks have increased. Due to the network lag and massive demands, centralized and traditional cloud computing architecture are not accountable to the high users' demands and not proper for execution of delay-sensitive and real time applications. To resolve these challenges, we p...
متن کاملMultilaterally Secure Ubiquitous Auditing
Tracking information of individuals is a useful input to many Ubiquitous Computing (UbiComp) applications. Consider the example of a smart emergency management application: once mobile first responders are continuously tracked, a precise and safe coordination of rescue missions is possible, and also mission logs can be created for audit purposes. However, continuously tracking users and storing...
متن کاملTowards Secure Communication for Highly Scalable Mobile Applications in Cloud Computing Systems
Cloud computing is a distributed computing model in which clients pay for computing and data storage resources of a third-party cloud provider. Cloud applications can scale up or down almost instantly to meet real-time computational demands. Despite the economic advantages of a pay-on-demand business model, security remains a paramount concern. Cloud applications by nature must store and retain...
متن کاملSpotlight: Nafion-H®: Its catalytic applications
Fatemeh Karimi was born in 1984 in Shahreza/ Isfahan, Iran. She received her B.Sc. in pure Chemistry (2006) and M.Sc. in Organic Chemistry (2008) from Isfahan University of Technology, Iran, under the supervision of professor Abdol Reza Hajipour. She is currently working towards her Ph.D. under the supervision of professor Mohammad Ali Zolfigol at Bu-Ali Sina University. Her research interest i...
متن کاملSecurity Challenges in Fog Computing in Healthcare
Background and Aim: The Fog Computing is a highly virtualized platform that provides storage, computing and networking services between the Cloud data centers and end devices. Fog computing fits the characteristics of real-time health monitoring systems. In such systems, a large amount of data is acquired from a multitude of bio and environmental sensors. On the other hand, its distribution and...
متن کامل